[next] [prev] [prev-tail] [tail] [up]

2.2.2 Integrals 101 to 200

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 101

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

203 203 186 700 0 0 0 0 0

N.S.

1 1.00 0.92 3.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.469 0.112 0.511 0.000 0.000 0.000 0.000 0.000

Problem 102

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

143 143 142 609 0 0 0 0 0

N.S.

1 1.00 0.99 4.26 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.391 0.097 0.415 0.000 0.000 0.000 0.000 0.000

Problem 103

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

77 71 81 369 0 0 0 0 0

N.S.

1 0.92 1.05 4.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.270 0.037 0.397 0.000 0.000 0.000 0.000 0.000

Problem 104

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

151 155 166 683 0 0 0 0 0

N.S.

1 1.03 1.10 4.52 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.847 0.120 0.431 0.000 0.000 0.000 0.000 0.000

Problem 105

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

211 211 223 790 0 0 0 0 0

N.S.

1 1.00 1.06 3.74 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.538 0.223 0.445 0.000 0.000 0.000 0.000 0.000

Problem 106

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

285 285 268 924 0 0 0 0 0

N.S.

1 1.00 0.94 3.24 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.627 0.142 0.485 0.000 0.000 0.000 0.000 0.000

Problem 107

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

296 327 258 827 0 0 0 0 0

N.S.

1 1.10 0.87 2.79 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.712 0.189 0.519 0.000 0.000 0.000 0.000 0.000

Problem 108

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

232 262 212 738 0 0 0 0 0

N.S.

1 1.13 0.91 3.18 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.632 0.165 0.451 0.000 0.000 0.000 0.000 0.000

Problem 109

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

112 107 155 484 0 0 0 0 0

N.S.

1 0.96 1.38 4.32 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.397 0.152 0.515 0.000 0.000 0.000 0.000 0.000

Problem 110

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

126 127 146 435 0 0 0 0 0

N.S.

1 1.01 1.16 3.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.500 0.069 0.478 0.000 0.000 0.000 0.000 0.000

Problem 111

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

257 293 232 793 0 0 0 0 0

N.S.

1 1.14 0.90 3.09 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.614 0.177 0.519 0.000 0.000 0.000 0.000 0.000

Problem 112

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

322 335 290 908 0 0 0 0 0

N.S.

1 1.04 0.90 2.82 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.747 0.294 0.497 0.000 0.000 0.000 0.000 0.000

Problem 113

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

398 430 344 943 0 0 0 0 0

N.S.

1 1.08 0.86 2.37 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.990 0.444 0.562 0.000 0.000 0.000 0.000 0.000

Problem 114

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

333 364 298 854 0 0 0 0 0

N.S.

1 1.09 0.89 2.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.919 0.316 0.603 0.000 0.000 0.000 0.000 0.000

Problem 115

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

161 155 371 593 0 0 0 0 0

N.S.

1 0.96 2.30 3.68 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.545 0.325 0.520 0.000 0.000 0.000 0.000 0.000

Problem 116

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

210 213 281 508 0 0 0 0 0

N.S.

1 1.01 1.34 2.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.720 0.162 0.559 0.000 0.000 0.000 0.000 0.000

Problem 117

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

203 204 211 495 0 0 0 0 0

N.S.

1 1.00 1.04 2.44 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.781 0.115 0.513 0.000 0.000 0.000 0.000 0.000

Problem 118

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

351 508 318 894 0 0 0 0 0

N.S.

1 1.45 0.91 2.55 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.793 0.276 0.684 0.000 0.000 0.000 0.000 0.000

Problem 119

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

420 432 378 1015 0 0 0 0 0

N.S.

1 1.03 0.90 2.42 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.057 0.453 0.655 0.000 0.000 0.000 0.000 0.000

Problem 120

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A F A F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

107 164 96 180 132 0 374 0 0

N.S.

1 1.53 0.90 1.68 1.23 0.00 3.50 0.00 0.00

time (sec)

N/A 0.588 0.088 0.319 0.203 0.000 20.968 0.000 0.000

Problem 121

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A B C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

113 104 243 967 0 0 0 0 0

N.S.

1 0.92 2.15 8.56 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.467 0.142 0.552 0.000 0.000 0.000 0.000 0.000

Problem 122

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

217 214 432 1373 0 0 0 0 0

N.S.

1 0.99 1.99 6.33 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.013 0.363 0.553 0.000 0.000 0.000 0.000 0.000

Problem 123

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A C F F F F F(-1)

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

361 416 706 1607 0 0 0 0 0

N.S.

1 1.15 1.96 4.45 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 2.011 0.632 0.629 0.000 0.000 0.000 0.000 0.000

Problem 124

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

189 189 169 0 0 0 0 0 0

N.S.

1 1.00 0.89 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.482 0.202 0.000 0.000 0.000 0.000 0.000 0.000

Problem 125

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

298 298 287 0 0 0 0 0 0

N.S.

1 1.00 0.96 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.711 0.256 0.000 0.000 0.000 0.000 0.000 0.000

Problem 126

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F(-2) F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

402 402 366 0 0 0 0 0 0

N.S.

1 1.00 0.91 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.895 0.416 0.000 0.000 0.000 0.000 0.000 0.000

Problem 127

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 0 19 22 22

N.S.

1 1.00 1.09 0.91 1.00 0.00 0.86 1.00 1.00

time (sec)

N/A 0.195 7.966 0.026 0.264 0.000 0.372 0.426 0.340

Problem 128

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 0 20 22 22

N.S.

1 1.00 1.09 0.91 1.00 0.00 0.91 1.00 1.00

time (sec)

N/A 0.287 5.644 0.025 0.284 0.000 0.838 0.316 0.393

Problem 129

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A F(-2) N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

22 22 24 20 22 0 20 22 22

N.S.

1 1.00 1.09 0.91 1.00 0.00 0.91 1.00 1.00

time (sec)

N/A 0.366 13.808 0.024 0.263 0.000 1.730 0.376 0.388

Problem 130

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

242 218 183 0 227 495 347 0 0

N.S.

1 0.90 0.76 0.00 0.94 2.05 1.43 0.00 0.00

time (sec)

N/A 0.501 0.166 0.000 0.279 0.334 70.597 0.000 0.000

Problem 131

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

192 188 151 0 184 396 284 0 0

N.S.

1 0.98 0.79 0.00 0.96 2.06 1.48 0.00 0.00

time (sec)

N/A 0.423 0.134 0.000 0.284 0.314 51.038 0.000 0.000

Problem 132

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

142 131 116 0 143 291 221 0 0

N.S.

1 0.92 0.82 0.00 1.01 2.05 1.56 0.00 0.00

time (sec)

N/A 0.280 0.084 0.000 0.291 0.334 56.221 0.000 0.000

Problem 133

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 87 77 0 93 184 144 0 0

N.S.

1 0.93 0.82 0.00 0.99 1.96 1.53 0.00 0.00

time (sec)

N/A 0.216 0.060 0.000 0.279 0.326 29.543 0.000 0.000

Problem 134

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

211 217 332 0 0 0 0 0 0

N.S.

1 1.03 1.57 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.024 0.163 0.000 0.000 0.000 0.000 0.000 0.000

Problem 135

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

221 215 392 0 0 0 0 0 0

N.S.

1 0.97 1.77 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.540 0.203 0.000 0.000 0.000 0.000 0.000 0.000

Problem 136

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

298 276 500 0 0 0 0 0 0

N.S.

1 0.93 1.68 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.618 0.337 0.000 0.000 0.000 0.000 0.000 0.000

Problem 137

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

263 234 187 0 239 595 0 0 0

N.S.

1 0.89 0.71 0.00 0.91 2.26 0.00 0.00 0.00

time (sec)

N/A 0.516 0.192 0.000 0.275 0.336 0.000 0.000 0.000

Problem 138

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

213 207 153 0 196 496 643 0 0

N.S.

1 0.97 0.72 0.00 0.92 2.33 3.02 0.00 0.00

time (sec)

N/A 0.439 0.150 0.000 0.268 0.339 129.067 0.000 0.000

Problem 139

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

163 147 120 0 155 391 517 0 0

N.S.

1 0.90 0.74 0.00 0.95 2.40 3.17 0.00 0.00

time (sec)

N/A 0.299 0.115 0.000 0.314 0.340 113.002 0.000 0.000

Problem 140

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

115 103 87 0 105 288 377 0 0

N.S.

1 0.90 0.76 0.00 0.91 2.50 3.28 0.00 0.00

time (sec)

N/A 0.234 0.062 0.000 0.277 0.326 88.800 0.000 0.000

Problem 141

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F(-1) F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

255 309 391 0 0 0 0 0 0

N.S.

1 1.21 1.53 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 1.452 0.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 142

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

259 251 480 0 0 0 0 0 0

N.S.

1 0.97 1.85 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.595 0.220 0.000 0.000 0.000 0.000 0.000 0.000

Problem 143

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

293 280 501 0 0 0 0 0 0

N.S.

1 0.96 1.71 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.649 0.352 0.000 0.000 0.000 0.000 0.000 0.000

Problem 144

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

217 198 150 0 215 395 396 252 0

N.S.

1 0.91 0.69 0.00 0.99 1.82 1.82 1.16 0.00

time (sec)

N/A 0.485 0.147 0.000 0.275 0.320 57.096 0.379 0.000

Problem 145

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

169 167 118 0 172 296 337 192 0

N.S.

1 0.99 0.70 0.00 1.02 1.75 1.99 1.14 0.00

time (sec)

N/A 0.407 0.124 0.000 0.274 0.358 42.283 0.388 0.000

Problem 146

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

119 113 80 0 127 189 272 131 0

N.S.

1 0.95 0.67 0.00 1.07 1.59 2.29 1.10 0.00

time (sec)

N/A 0.272 0.074 0.000 0.273 0.306 32.670 0.359 0.000

Problem 147

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

69 67 55 62 82 116 131 74 0

N.S.

1 0.97 0.80 0.90 1.19 1.68 1.90 1.07 0.00

time (sec)

N/A 0.202 0.032 0.400 0.275 0.304 2.295 0.322 0.000

Problem 148

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

152 145 249 0 0 0 0 0 0

N.S.

1 0.95 1.64 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.610 0.068 0.000 0.000 0.000 0.000 0.000 0.000

Problem 149

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

226 220 392 0 0 0 0 0 0

N.S.

1 0.97 1.73 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.518 0.168 0.000 0.000 0.000 0.000 0.000 0.000

Problem 150

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

304 280 501 0 0 0 0 0 0

N.S.

1 0.92 1.65 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.616 0.226 0.000 0.000 0.000 0.000 0.000 0.000

Problem 151

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

194 180 159 0 200 435 369 0 0

N.S.

1 0.93 0.82 0.00 1.03 2.24 1.90 0.00 0.00

time (sec)

N/A 0.473 0.086 0.000 0.282 0.340 116.990 0.000 0.000

Problem 152

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

146 146 124 0 157 330 308 0 0

N.S.

1 1.00 0.85 0.00 1.08 2.26 2.11 0.00 0.00

time (sec)

N/A 0.400 0.083 0.000 0.273 0.319 135.748 0.000 0.000

Problem 153

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

94 92 83 0 112 223 177 0 0

N.S.

1 0.98 0.88 0.00 1.19 2.37 1.88 0.00 0.00

time (sec)

N/A 0.268 0.049 0.000 0.283 0.378 91.742 0.000 0.000

Problem 154

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F A A A A F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

53 53 53 0 71 155 88 71 0

N.S.

1 1.00 1.00 0.00 1.34 2.92 1.66 1.34 0.00

time (sec)

N/A 0.195 0.033 0.000 0.278 0.317 3.852 0.360 0.000

Problem 155

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

201 209 295 0 0 0 0 0 0

N.S.

1 1.04 1.47 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.985 0.188 0.000 0.000 0.000 0.000 0.000 0.000

Problem 156

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

253 234 506 0 0 0 0 0 0

N.S.

1 0.92 2.00 0.00 0.00 0.00 0.00 0.00 0.00

time (sec)

N/A 0.714 0.299 0.000 0.000 0.000 0.000 0.000 0.000

Problem 157

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 31 19 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.35 0.83 1.09 1.09

time (sec)

N/A 0.228 1.756 0.003 0.220 0.279 0.792 0.301 0.267

Problem 158

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

21 21 23 21 23 29 17 23 23

N.S.

1 1.00 1.10 1.00 1.10 1.38 0.81 1.10 1.10

time (sec)

N/A 0.205 1.210 0.020 0.237 0.286 0.849 0.396 0.273

Problem 159

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

20 20 22 20 22 27 17 22 22

N.S.

1 1.00 1.10 1.00 1.10 1.35 0.85 1.10 1.10

time (sec)

N/A 0.182 0.023 0.022 0.239 0.292 0.992 0.307 0.256

Problem 160

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 33 19 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.43 0.83 1.09 1.09

time (sec)

N/A 0.222 0.887 0.029 0.242 0.272 1.441 0.304 0.275

Problem 161

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A N/A N/A N/A N/A N/A N/A N/A

verified

N/A N/A N/A N/A TBD TBD TBD TBD TBD

size

23 23 25 23 25 37 20 25 25

N.S.

1 1.00 1.09 1.00 1.09 1.61 0.87 1.09 1.09

time (sec)

N/A 0.226 1.019 0.003 0.319 0.293 1.125 0.293 0.276

Problem 162

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

211 206 152 1746 271 1222 6156 536 0

N.S.

1 0.98 0.72 8.27 1.28 5.79 29.18 2.54 0.00

time (sec)

N/A 0.533 0.168 2.220 0.287 0.320 4.987 0.332 0.000

Problem 163

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

153 183 108 911 195 633 2791 374 0

N.S.

1 1.20 0.71 5.95 1.27 4.14 18.24 2.44 0.00

time (sec)

N/A 0.444 0.104 1.054 0.243 0.319 3.510 0.337 0.000

Problem 164

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A B A B B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 94 64 353 119 235 899 212 0

N.S.

1 0.99 0.67 3.72 1.25 2.47 9.46 2.23 0.00

time (sec)

N/A 0.279 0.054 0.217 0.237 0.334 2.389 0.326 0.000

Problem 165

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B B F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

46 46 32 68 57 52 141 95 0

N.S.

1 1.00 0.70 1.48 1.24 1.13 3.07 2.07 0.00

time (sec)

N/A 0.183 0.012 0.082 0.202 0.313 2.069 0.384 0.000

Problem 166

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 72 23 25 31 20 25 25

N.S.

1 1.00 3.13 1.00 1.09 1.35 0.87 1.09 1.09

time (sec)

N/A 0.206 0.129 0.035 0.252 0.319 2.083 0.341 0.473

Problem 167

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

23 23 72 23 25 42 22 25 25

N.S.

1 1.00 3.13 1.00 1.09 1.83 0.96 1.09 1.09

time (sec)

N/A 0.203 0.118 0.036 0.273 0.343 4.029 0.337 0.510

Problem 168

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A N/A N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

15 15 173 15 112 17 15 17 17

N.S.

1 1.00 11.53 1.00 7.47 1.13 1.00 1.13 1.13

time (sec)

N/A 0.162 0.161 0.033 0.296 0.332 7.503 0.417 0.284

Problem 169

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F F A F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

68 68 61 0 0 0 238 0 0

N.S.

1 1.00 0.90 0.00 0.00 0.00 3.50 0.00 0.00

time (sec)

N/A 0.193 0.017 0.000 0.000 0.000 6.235 0.000 0.000

Problem 170

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A N/A B N/A N/A N/A N/A F(-2) N/A

verified

N/A N/A Yes N/A TBD TBD TBD TBD TBD

size

17 17 89 17 19 19 15 0 19

N.S.

1 1.00 5.24 1.00 1.12 1.12 0.88 0.00 1.12

time (sec)

N/A 0.178 0.042 0.027 0.241 0.303 4.980 0.000 0.300

Problem 171

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 69 58 57 69 66 69 51

N.S.

1 1.02 1.44 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.220 0.005 0.379 0.205 0.293 0.873 0.322 0.339

Problem 172

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 69 58 57 69 66 69 51

N.S.

1 1.02 1.44 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.215 0.005 0.204 0.190 0.325 0.458 0.348 0.332

Problem 173

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

47 47 69 58 57 67 66 69 51

N.S.

1 1.00 1.47 1.23 1.21 1.43 1.40 1.47 1.09

time (sec)

N/A 0.212 0.005 0.168 0.221 0.325 0.237 0.438 0.325

Problem 174

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 52 57 58 49 55 78 52 48

N.S.

1 1.00 1.10 1.12 0.94 1.06 1.50 1.00 0.92

time (sec)

N/A 0.229 0.001 0.076 0.208 0.289 0.224 0.302 0.320

Problem 175

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

52 55 57 58 49 59 63 56 66

N.S.

1 1.06 1.10 1.12 0.94 1.13 1.21 1.08 1.27

time (sec)

N/A 0.229 0.005 0.080 0.200 0.303 1.293 0.334 0.342

Problem 176

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 58 69 53 57 60 68 65 51

N.S.

1 1.02 1.21 0.93 1.00 1.05 1.19 1.14 0.89

time (sec)

N/A 0.236 0.004 0.078 0.196 0.316 0.403 0.303 0.383

Problem 177

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 69 58 57 69 66 69 51

N.S.

1 1.02 1.44 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.218 0.005 0.245 0.193 0.303 0.676 0.285 0.345

Problem 178

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 49 69 58 57 69 66 69 51

N.S.

1 1.02 1.44 1.21 1.19 1.44 1.38 1.44 1.06

time (sec)

N/A 0.219 0.004 0.157 0.198 0.274 0.330 0.302 0.344

Problem 179

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

48 48 55 50 49 61 56 58 43

N.S.

1 1.00 1.15 1.04 1.02 1.27 1.17 1.21 0.90

time (sec)

N/A 0.203 0.002 0.074 0.194 0.311 0.181 0.336 0.327

Problem 180

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

44 43 49 50 49 58 46 54 51

N.S.

1 0.98 1.11 1.14 1.11 1.32 1.05 1.23 1.16

time (sec)

N/A 0.218 0.003 0.061 0.192 0.289 0.174 0.293 0.346

Problem 181

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

53 56 63 53 57 59 58 65 51

N.S.

1 1.06 1.19 1.00 1.08 1.11 1.09 1.23 0.96

time (sec)

N/A 0.227 0.005 0.066 0.199 0.285 0.317 0.415 0.362

Problem 182

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

57 60 69 54 57 63 68 67 53

N.S.

1 1.05 1.21 0.95 1.00 1.11 1.19 1.18 0.93

time (sec)

N/A 0.230 0.005 0.078 0.217 0.321 0.517 0.309 0.370

Problem 183

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 75 84 101 100 118 116 123 82

N.S.

1 1.01 1.14 1.36 1.35 1.59 1.57 1.66 1.11

time (sec)

N/A 0.285 0.029 1.366 0.199 0.294 1.688 0.366 0.386

Problem 184

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 75 87 101 100 118 116 123 82

N.S.

1 1.01 1.18 1.36 1.35 1.59 1.57 1.66 1.11

time (sec)

N/A 0.295 0.029 0.787 0.198 0.284 0.873 0.328 0.369

Problem 185

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

76 75 85 101 100 116 116 123 82

N.S.

1 0.99 1.12 1.33 1.32 1.53 1.53 1.62 1.08

time (sec)

N/A 0.251 0.027 0.721 0.200 0.305 0.477 0.367 0.367

Problem 186

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

89 88 82 103 88 104 133 100 80

N.S.

1 0.99 0.92 1.16 0.99 1.17 1.49 1.12 0.90

time (sec)

N/A 0.277 0.034 0.544 0.216 0.290 0.469 0.332 0.344

Problem 187

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 92 83 104 91 108 139 106 110

N.S.

1 1.01 0.91 1.14 1.00 1.19 1.53 1.16 1.21

time (sec)

N/A 0.324 0.043 0.512 0.203 0.296 0.555 0.297 0.366

Problem 188

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

90 89 82 103 90 108 105 103 102

N.S.

1 0.99 0.91 1.14 1.00 1.20 1.17 1.14 1.13

time (sec)

N/A 0.289 0.040 0.478 0.209 0.294 1.711 0.379 0.389

Problem 189

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 73 95 101 100 118 121 123 82

N.S.

1 0.99 1.28 1.36 1.35 1.59 1.64 1.66 1.11

time (sec)

N/A 0.256 0.026 0.951 0.195 0.284 1.232 0.309 0.371

Problem 190

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

74 73 95 101 100 118 121 123 82

N.S.

1 0.99 1.28 1.36 1.35 1.59 1.64 1.66 1.11

time (sec)

N/A 0.262 0.027 0.544 0.198 0.311 0.663 0.359 0.362

Problem 191

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

86 84 89 93 92 112 110 112 74

N.S.

1 0.98 1.03 1.08 1.07 1.30 1.28 1.30 0.86

time (sec)

N/A 0.243 0.025 0.448 0.210 0.291 0.344 0.420 0.347

Problem 192

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

83 81 86 96 94 109 100 103 102

N.S.

1 0.98 1.04 1.16 1.13 1.31 1.20 1.24 1.23

time (sec)

N/A 0.269 0.026 0.782 0.199 0.293 0.338 0.329 0.371

Problem 193

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

82 80 80 96 92 110 100 112 90

N.S.

1 0.98 0.98 1.17 1.12 1.34 1.22 1.37 1.10

time (sec)

N/A 0.259 0.030 0.473 0.186 0.323 0.406 0.287 0.390

Problem 194

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 92 86 97 100 111 112 119 88

N.S.

1 1.01 0.95 1.07 1.10 1.22 1.23 1.31 0.97

time (sec)

N/A 0.291 0.031 0.481 0.197 0.288 0.567 0.310 0.387

Problem 195

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

95 96 95 97 100 112 122 119 89

N.S.

1 1.01 1.00 1.02 1.05 1.18 1.28 1.25 0.94

time (sec)

N/A 0.307 0.035 0.474 0.190 0.313 0.954 0.343 0.409

Problem 196

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

100 99 120 144 143 167 175 177 113

N.S.

1 0.99 1.20 1.44 1.43 1.67 1.75 1.77 1.13

time (sec)

N/A 0.343 0.039 9.546 0.193 0.286 2.960 0.314 0.376

Problem 197

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 120 120 144 143 167 170 177 113

N.S.

1 0.92 0.92 1.11 1.10 1.28 1.31 1.36 0.87

time (sec)

N/A 0.330 0.043 1.320 0.198 0.328 1.726 0.311 0.368

Problem 198

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

91 86 118 144 143 165 170 177 113

N.S.

1 0.95 1.30 1.58 1.57 1.81 1.87 1.95 1.24

time (sec)

N/A 0.261 0.040 0.731 0.192 0.325 0.909 0.381 0.359

Problem 199

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

130 127 116 150 133 155 212 149 112

N.S.

1 0.98 0.89 1.15 1.02 1.19 1.63 1.15 0.86

time (sec)

N/A 0.318 0.047 0.725 0.188 0.287 0.939 0.336 0.385

Problem 200

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

131 124 115 149 133 155 209 156 163

N.S.

1 0.95 0.88 1.14 1.02 1.18 1.60 1.19 1.24

time (sec)

N/A 0.377 0.060 0.747 0.194 0.321 1.005 0.331 0.403

[next] [prev] [prev-tail] [front] [up]